This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
WeiterlesenThe International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
WeiterlesenThe focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical ...
WeiterlesenThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
WeiterlesenThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
WeiterlesenThis book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...
WeiterlesenThis book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
WeiterlesenThis book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded ...
WeiterlesenThis book is about public open spaces, about people, and about the relationship between them and the role of technology in ...
WeiterlesenThis volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security ...
WeiterlesenDiscusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
WeiterlesenIn this book defense and security related applications are increasingly being tackled by researchers and practioners using ...
WeiterlesenFDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
WeiterlesenThe Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. ...
WeiterlesenThis book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
WeiterlesenThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
WeiterlesenThis book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer ...
WeiterlesenThis book cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and ...
WeiterlesenThis book constitutes the thoroughly refereed proceedings of the 9th International Conference on Intelligent Human Computer ...
WeiterlesenThis book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ...
Weiterlesen